Science of Logic

Results: 5317



#Item
41Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada

Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada

Add to Reading List

Source URL: cs.unb.ca

- Date: 2013-05-12 19:46:42
    42Belief Contraction for the Description Logic EL Zhi Qiang Zhuang and Maurice Pagnucco ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Computer Science and Engineering, The University

    Belief Contraction for the Description Logic EL Zhi Qiang Zhuang and Maurice Pagnucco ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Computer Science and Engineering, The University

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2009-07-07 04:46:34
      43Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

      Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

      Add to Reading List

      Source URL: canbaskent.net

      - Date: 2016-04-10 14:02:47
        44Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath

        Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath

        Add to Reading List

        Source URL: canbaskent.net

        - Date: 2016-06-14 07:51:00
          45A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C

          A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C

          Add to Reading List

          Source URL: academic.johnjcamilleri.com

          - Date: 2014-04-23 15:38:23
            46Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

            Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

            Add to Reading List

            Source URL: canbaskent.net

            - Date: 2016-04-10 14:02:56
              47A Paraconsistent Logic for Contrary-to-Duty Obligations Can BAS ¸ KENT Department of Computer Science, University of Bath, England

              A Paraconsistent Logic for Contrary-to-Duty Obligations Can BAS ¸ KENT Department of Computer Science, University of Bath, England

              Add to Reading List

              Source URL: canbaskent.net

              - Date: 2015-08-02 13:46:03
                48Declarative Modeling of Finite Mathematics Paul Tarau Department of Computer Science and Engineering University of North Texas PPDP’10, July 2010

                Declarative Modeling of Finite Mathematics Paul Tarau Department of Computer Science and Engineering University of North Texas PPDP’10, July 2010

                Add to Reading List

                Source URL: logic.cse.unt.edu

                - Date: 2010-07-26 23:06:18
                  49Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005

                  Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005

                  Add to Reading List

                  Source URL: www.doc.ic.ac.uk

                  - Date: 2005-03-06 09:02:36
                    50The learnability of Auditory Center-embedded Recursion Jun Lai () Tilburg Center for Logic, Ethics and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg University,

                    The learnability of Auditory Center-embedded Recursion Jun Lai () Tilburg Center for Logic, Ethics and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg University,

                    Add to Reading List

                    Source URL: mindmodeling.org

                    - Date: 2015-07-27 15:58:38